منابع مشابه
Software Model Checking
In thes notes we will review the automata-theoretic verification method and propositional linear temporal logic, with specific emphasis on their potential application to distributed software verification. An important issue in software verification is the establishment of a formal relation between the concrete, implementation-level, software application and the abstract, derived, automata-model...
متن کاملTeaching Software Model Checking
The use of formal methods has become commonplace in hardware design, and is becoming increasingly widespread in software engineering. While formal methods have repeatedly been applied in safety-critical projects, their technologies and tools are not widely known, due to lack of in-depth education in current curricula. In this paper, we introduce the curriculum design of software model checking,...
متن کاملTutorial: Software Model Checking
Model Checking is an automated technique for the systematic exploration ofu the state space of a state transition system. The first part of the tutorial provides an introduction to the basic concepts of model checking, including BDDand SAT-based symbolic model checking, partial order reduction, abstraction, and compositional verification. Model Checking has been applied sucessfully to hardware ...
متن کاملRobotics takes off.
n a mere 50 years, robots have gone from being a topic of science fiction to becoming an integral part of modern society. They now are ubiquitous on factory floors, build complex deep-sea installations, explore icy worlds beyond the reach of humans, and assist in precision surgeries. These robots are improving our health, adding to our scientific understanding, raising productivity, and perform...
متن کاملCardiac protection takes off.
Protecting the heart from ischaemiaand reperfusioninduced injury represents the greatest challenge of cardiology, since myocardial infarction is the major cause of mortality in industrialized countries. Research on cardiac protection has a long history in the discovery of new principles of protection, replete with triumphs but also broken dreams with respect to their clinical application. Treat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 2010
ISSN: 0001-0782,1557-7317
DOI: 10.1145/1646353.1646372